#pragma once
#include "types.h"

// 从 kalloc.c 导出的接口
void* kalloc(void);
void  kfree(void *addr);